Constraint optimization - PDFSEARCH.IO - Document Search Engine

Constraint optimization
Results: 554

#	Item
51	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
52	1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel Add to Reading List Source URL: www.ee.ucl.ac.uk Language: English - Date: 2013-07-05 07:45:59 A* search algorithm Combinatorial optimization Game artificial intelligence Constraint programming Decomposition method Binary decision diagram
53	Combining Constraint Programming, Lagrangian Relaxation and Probabilistic Algorithms to solve the Vehicle Routing Problem Daniel Guimarans1 , Rosa Herrero1 , Daniel Riera2 , Angel A. Juan2 , and Juan Jos´e Ramos1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 03:15:30 Operations research Mathematical optimization Search algorithms NP-complete problems Combinatorial optimization Variable neighborhood search Vehicle routing problem Travelling salesman problem Heuristic A* search algorithm Lagrangian relaxation Local search
54	Microsoft Word - NEW02.docx Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2013-08-28 14:35:05 Operations research Mathematical optimization Integer programming Linear programming Feasible region Constraint
55	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 06:10:17 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency
56	Orthophoto information English version – SOSI standard 4.0 Orthophoto information English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:36 Constraint Mathematical optimization
57	Interactive Design Exploration for Constrained Meshes Bailin Deng∗, Sofien Bouaziz, Mario Deuss, Alexandre Kaspar, Yuliy Schwartzburg, Mark Pauly Computer Graphics and Geometry Laboratory, EPFL, CH-1015 Lausanne, Switz Add to Reading List Source URL: lgg.epfl.ch Language: English - Date: 2015-02-23 04:31:22 Mathematical optimization Shape optimization Constraint Constrained optimization Feasible region Optimization problem Lagrange multiplier Penalty method
58	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
59	Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach Angelo Oddi1 , Riccardo Rasconi1 , Amedeo Cesta1 , and Stephen F. Smith2 1 Institute of Cognitive Scienc Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-30 21:51:52 Operations research Edsger W. Dijkstra Constraint satisfaction Mathematical optimization Scheduling Heuristic Shortest path problem Local search
60	Harmonic Grammar Modifying constraints and representations Conclusion Add to Reading List Source URL: linguistics.concordia.ca Language: English Phonology Optimality theory Harmonic Grammar Markedness Constraint Mathematical optimization